(degree of) satisfaction